<?php

// Close database.
if ($db) { mysql_close($db); }

?>
